Hiding Satisfying Assignments: Two are Better than One

The evaluation of incomplete satisfiability solvers depends critically on the availability of hard satisfiable instances. A plausible source of such instances consists of random k-SAT formulas whose clauses are chosen uniformly from among all clauses satisfying some randomly chosen truth assignment A. Unfortunately, instances generated in this manner tend to be relatively easy and can be solved efficiently by practical heuristics. Roughly speaking, as the formula's density increases, for a number of different algorithms, A acts as a stronger and stronger attractor. Motivated by recent results on the geometry of the space of satisfying truth assignments of random k-SAT and NAE-k-SAT formulas, we introduce a simple twist on this basic model, which appears to dramatically increase its hardness. Namely, in addition to forbidding the clauses violated by the hidden assignment A, we also forbid the clauses violated by its complement, so that both A and complement of A are satisfying. It appears that under this "symmetrization'' the effects of the two attractors largely cancel out, making it much harder for algorithms to find any truth assignment. We give theoretical and experimental evidence supporting this assertion.Comment: Preliminary version appeared in AAAI 200

Maximizing tendency predicts university adjustment and academic performance

IntroductionDecision-making characteristics that contribute to university adjustment and academic performance have been important topics in the research on success in higher education. This study proposes a new perspective that maximizing tendency, as a decision-making style, influences adaptive outcomes in college life.Materials and methodsTwo studies were performed to investigate the positive effects of maximizing tendency on university adjustment and academic performance. In Study 1, we engaged in multistage data collection and surveyed 552 students in four universities. In over a span of 4 years, Study 2 was designed as a time-lagged survey with 309 students.ResultsThe results revealed that maximizers among students have better university adjustment after their first year at school and achieve higher GPAs when they finished their bachelor’s degree. Furthermore, eudaimonic well-being mediated the relationship between maximizing tendency and university adjustment (Study 1), whereas university adjustment mediated the relationship between maximizing tendency and college student’s academic performance (Study 2).ConclusionThese consistent results imply that maximizing tendency as a predictor of university adjustment and academic performance, showing its long-term positive impacts on adaptability and wellbeing

The C-terminal motif of SiAGO1b is required for the regulation of growth, development and stress responses in foxtail millet (\u3ci\u3eSetaria italica\u3c/i\u3e (L.) P. Beauv)

Foxtail millet (Setaria italica (L.) P. Beauv), which belongs to the Panicoideae tribe of the Poaceae, is an important grain crop widely grown in Northern China and India. It is currently developing into a novel model species for functional genomics of the Panicoideae as a result of its fully available reference genome sequence, small diploid genome (2n=18, ~510 Mb), short life cycle, small stature and prolific seed production. Argonaute 1 (AGO1), belonging to the argonaute (AGO) protein family, recruits small RNAs and regulates plant growth and development. Here, we characterized an AGO1 mutant (siago1b) in foxtail millet, which was induced by ethyl methanesulfonate treatment. The mutant exhibited pleiotropic developmental defects, including dwarfing stem, narrow and rolled leaves, smaller panicles and lower rates of seed setting. Map-based cloning analysis demonstrated that these phenotypic variations were attributed to a C–A transversion, and a 7-bp deletion in the C-terminus of the SiAGO1b gene in siago1b. Yeast two-hybrid assays and BiFC experiments revealed that the mutated region was an essential functional motif for the interaction between SiAGO1b and SiHYL1. Furthermore, 1598 differentially expressed genes were detected via RNAseq- based comparison of SiAGO1b and wild-type plants, which revealed that SiAGO1b mutation influenced multiple biological processes, including energy metabolism, cell growth, programmed death and abiotic stress responses in foxtail millet. This study may provide a better understanding of the mechanisms by which SiAGO1b regulates the growth and development of crops

The C-terminal motif of SiAGO1b is required for the regulation of growth, development and stress responses in foxtail millet (\u3ci\u3eSetaria italica\u3c/i\u3e (L.) P. Beauv)

Foxtail millet (Setaria italica (L.) P. Beauv), which belongs to the Panicoideae tribe of the Poaceae, is an important grain crop widely grown in Northern China and India. It is currently developing into a novel model species for functional genomics of the Panicoideae as a result of its fully available reference genome sequence, small diploid genome (2n=18, ~510 Mb), short life cycle, small stature and prolific seed production. Argonaute 1 (AGO1), belonging to the argonaute (AGO) protein family, recruits small RNAs and regulates plant growth and development. Here, we characterized an AGO1 mutant (siago1b) in foxtail millet, which was induced by ethyl methanesulfonate treatment. The mutant exhibited pleiotropic developmental defects, including dwarfing stem, narrow and rolled leaves, smaller panicles and lower rates of seed setting. Map-based cloning analysis demonstrated that these phenotypic variations were attributed to a C–A transversion, and a 7-bp deletion in the C-terminus of the SiAGO1b gene in siago1b. Yeast two-hybrid assays and BiFC experiments revealed that the mutated region was an essential functional motif for the interaction between SiAGO1b and SiHYL1. Furthermore, 1598 differentially expressed genes were detected via RNAseq- based comparison of SiAGO1b and wild-type plants, which revealed that SiAGO1b mutation influenced multiple biological processes, including energy metabolism, cell growth, programmed death and abiotic stress responses in foxtail millet. This study may provide a better understanding of the mechanisms by which SiAGO1b regulates the growth and development of crops

Effects of temperature and photoperiod on growth, physiological, and behavioral performance in steelhead trout (Oncorhynchus mykiss) under indoor aquaculture condition

Light and temperature are necessary conditions for migratory fish. The assessment of fish physiology and behavior is important for identifying fish welfare, but also for the assessment of the optimal setting of recirculating aquaculture systems (RASs). This study aimed to explore the interactive effect of photoperiod and temperature on steelhead trout culture. Four treatments were set up with specific settings were as follows: a LP-LT group treated with 16L:8D and 12°C, a LP-HT group treated with 16L:8D and 16°C, a SP-LT group treated with 12L:12D and 12°C, and a SP-HT group treated with 12L:12D and 16°C. Growth performance, behavioral and physiological parameters were measured. Two indexes, locomotor activity and social interaction were used for behavioral analysis, and the results were applied to interpret the behavioral responses to the photoperiod and temperature stimulation in juveniles. The growth performances were significantly lower in treatments LP-LT and SP-LT. The treatment LP-HT had significantly higher growth performance than the other treatments, but no significant differences were noted in survival rate and coefficient of variation. The results of fish behavior indicated that the movement of juveniles should be primarily monitored at high temperatures or long photoperiods, and the state parameters should be primarily monitored at low temperatures or short photoperiods. The results of the physiological parameters showed that the recovery time from stress varied among different treatments. After 60 days of the experiment, superoxide dismutase and alanine aminotransferase dropped back to their initial level. The results of Na+-K+-ATPase showed that although the combined effect of photoperiod and temperature could advance the time of smoltification, it may result in poorer salt tolerance. Our findings underscore the importance of the interaction of photoperiod and temperature on steelhead trout culture. The outcome could provide guidance for the development of effective aquaculture systems

Dampak Pembangunan Infrastruktur Perdesaan Pada Program PNPM Mandiri Perdesaan Di Kabupaten Toli Toli

The purpose of this study was to determine the Development Impact of Rural Infrastructure in PNPM RuralProgram in Toli-Toli. Research conducted on the implementation of PNPM Rural Program in Toli-Toli forfiscal year 2007 and 2008.Primary data obtained from interviews with relevant parties and direct observation in the field, then the datais processed with Descriptive Analysis.The results showed the impact of rural infrastructure development in poor communities in Toli Toli, namely:increasing revenue, impoving public education, improving health and improving the public midset. Impact onvillage institutions, namely: the function and role of local government to be effective, institutions ofparticipatory development and improvement of the quality of facilities.and social infrastructure andeconomic base of societ

Analysis of hemagglutinin-mediated entry tropism of H5N1 avian influenza

<p>Abstract</p> <p>Background</p> <p>Avian influenza virus H5N1 is a major concern as a potential global pandemic. It is thought that multiple key events must take place before efficient human-to-human transmission of the virus occurs. The first step in overcoming host restriction is viral entry which is mediated by HA, responsible for both viral attachment and viral/host membrane fusion. HA binds to glycans-containing receptors with terminal sialic acid (SA). It has been shown that avian influenza viruses preferentially bind to α2,3-linked SAs, while human influenza A viruses exhibit a preference for α2,6-linked SAs. Thus it is believed the precise linkage of SAs on the target cells dictate host tropism of the viruses.</p> <p>Results</p> <p>We demonstrate that H5N1 HA/HIV pseudovirus can efficiently transduce several human cell lines including human lung cells. Interestingly, using a lectin binding assay we show that the presence of both α2,6-linked and α2,3-linked SAs on the target cells does not always correlate with efficient transduction. Further, HA substitutions of the residues implicated in switching SA-binding between avian and human species did not drastically affect HA-mediated transduction of the target cells or target cell binding.</p> <p>Conclusion</p> <p>Our results suggest that a host factor(s), which is yet to be identified, is required for H5N1 entry in the host cells.</p